<html>
<h1>New Features</h1>

<p>
  UPPAAL2k (UPPAAL 3.2) extends its predecessor UPPAAL 3.0 with a
  number of new features, including:

  <ul>
    <li>
    a new platform and syntax independent robust XML based file
    format allowing syntatically invalid systems to be saved and
    loaded,
    </li> 
    <li>
    anonymous locations,
    </li>
    <li>
    a much improved syntax checker in the GUI that only
    underlines the part of the text containing the actual error,
    </li>
    <li>
    liveness properties on the forms <em>E[] p</em> (there exists a
    path, where p allways holds), <em>A&lt&gt p</em> (for all paths, p
    will eventually hold), and <em>p --&gt q</em> (whenever p holds, q
    will eventually hold),
    </li> 
    <li>
    deadlock properties using the new state property "deadlock",
    e.g. <em>A[] not deadlock</em> for checking that the system is
    deadlock free,
    </li> 
    <li>
    fewer dependencies between verification options (e.g. "Global
    reduction" and "reuse state-space" can be used at the same time),
    </li> 
    <li>
    in the GUI it is no longer necessary to precede line breaks with a
    backslash in multi-line properties -- in query files the backslash
    is still needed; UPPAAL will handle the translation when loading
    and saving a query file. 
    </li>
  </ul>
</p>

</html>
